- sequent operation
- action that occurs in close succession to another event
English contemporary dictionary. 2014.
sequent operation
Look at other dictionaries:
Sequent Computer Systems — Sequent Computer Systems, or Sequent, was a computer company that designed and manufactured multiprocessing computer systems. They were among the pioneers in high performance symmetric multiprocessing (SMP) open systems, innovating in both… … Wikipedia
Santa Cruz Operation — (SCO) was a software company based in Santa Cruz, California which was best known for selling three Unix variants for Intel x86 processors: Xenix, SCO UNIX (later known as SCO OpenServer), and UnixWare. Eric Raymond, in his book The Art of Unix… … Wikipedia
Santa Cruz Operation — Saltar a navegación, búsqueda Para otros usos de este término, véase Santa Cruz (desambiguación). Santa Cruz Operation (SCO) era una compañía de software con base en Santa Cruz, California, EE. UU., la cual era conocida por vender 3 variantes de… … Wikipedia Español
Santa Cruz Operation — Логотип SCO The SCO Group американская компания, держатель прав на товарный знак Caldera Systems и занималась разработкой и внедрением своего дистрибутива GNU/Linux. В 2000 компания купила у Santa Cruz Operation права на операционные системы… … Википедия
Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… … Wikipedia
Boolean algebra (introduction) — Boolean algebra, developed in 1854 by George Boole in his book An Investigation of the Laws of Thought , is a variant of ordinary algebra as taught in high school. Boolean algebra differs from ordinary algebra in three ways: in the values that… … Wikipedia
Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… … Wikipedia
Microprocessor — Intel 4004, the first general purpose, commercial microprocessor A microprocessor incorporates the functions of a computer s central processing unit (CPU) on a single integrated circuit,[1] (IC) or at most a few integrated circuits … Wikipedia
Substructural logic — In mathematical logic, in particular in connection with proof theory, a number of substructural logics have been introduced, as systems of propositional calculus that are weaker than the conventional one. They differ in having fewer structural… … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
